Morley's Trisector Theorem
نویسنده
چکیده
Morley's trisector theorem states that " The points of intersection of the adjacent trisectors of the angles of any triangle are the vertices of an equilateral triangle " [10]. The notation and terminology used in this paper have been introduced in the
منابع مشابه
The Principle of Linearity: A Short Cut to Determine Dependent Angles
We propound the principle that \if there is a relationship between angles of a planar gure, composed of straight lines set at angles (which may be constructed to be rational multiples of each other) then the relationship will be linear". We contend that this principle holds a similar status to a law of Physics, in that it is accepted because has been found to supply consistent answers and no co...
متن کاملWhat is Morley’s Miracle?
Overview Let ∆ABC be a triangle, and let the radian measure of these angles bem(]CAB) = 3α, m(]ABC) = 3β, and m(]BCA) = 3γ, so that α+ β + γ = π/3.1 We trisect each (interior) angle of the triangle, and take the intersections of the proximal or adjacent trisectors; for example, to choose the intersection between a trisector of the angle at A and the angle at B, we choose the trisector from A cl...
متن کاملUpward Morley's theorem downward
By a celebrated theorem of Morley, a theory T is א1-categorical if and only if it is κ-categorical for all uncountable κ. In this paper we are taking the first steps towards extending Morley’s categoricity theorem “to the finite”. In more detail, we are presenting conditions, implying that certain finite subsets of certain א1-categorical T have at most one n-element model for each natural numbe...
متن کاملDistance Trisector of a Segment and a Point
Motivated by the work of Asano et al. [1], we consider the distance trisector problem and zone diagram considering segments in the plane as the input geometric objects. As the most basic case, we first consider the pair of curves (distance trisector curves) trisecting the distance between a point and a line, as shown in Figure 1. This is a natural extension of the bisector curve (that is a para...
متن کاملThe Voronoi diagram of three lines in R3
We give a complete description of the Voronoi diagram of three lines in R3. In particular, we show that the topology of the Voronoi diagram is invariant for three lines in general position, that is, that are pairwise skew and not all parallel to a common plane. The trisector consists of four unbounded branches of either a non-singular quartic or of a cubic and line that do not intersect in real...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Formalized Mathematics
دوره 23 شماره
صفحات -
تاریخ انتشار 2015